\{$f$ $\mid$ $x$:Void $\rightarrow$ Void\} $\in$ Type